php - 无法从字符串中提取符号

我正在尝试在字符串中使用一些特定的符号。我需要遍历字符串的每个字符并识别符号。
但是，某些符号正在转换为三个字符。
需要有关如何保留符号的帮助。

echo $instring = ("& ∨ = ⊢");
echo "\nLength of string: ".strlen($instring);
for ($i = 0; $i < strlen($instring) ; $i++){
    $temp_str = substr($instring, $i,1);
    echo "\nChar: $i: $temp_str";
    $instring_arr[$i] = $temp_str;
}

这是工作代码。感谢 h2oooooo:

echo $instring = ("& ∨ = ⊢");
echo "\nLength of string: ".mb_strlen($instring, "UTF-8");
for ($i = 0; $i < mb_strlen($instring, "UTF-8") ; $i++){
    $temp_str = mb_substr($instring, $i,1,"UTF-8");
    echo "\nChar: $i: $temp_str";
    $instring_arr[$i] = $temp_str;
}

最佳答案

我认为您可以将字符串拆分，将所有部分放在表格(或列表或其他)上并检查所有表格，直到找到您的特定符号。

希望我能帮到你。