无法从字符串中提取符号


Unable to extract symbols from string

我试图在字符串中使用一些特定的符号。我需要遍历字符串中的每个字符并识别符号。然而,某些符号被转换为三个字符。需要帮助如何保留符号。

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;
}

我认为你可以把字符串分开,把所有的部分放在Table(或List或其他)上,然后检查所有的Table,直到你找到你的特定符号。

希望能帮到你。