- var_dump: documentation ( source)
- json_decode: documentation ( source)
- mb_strlen: documentation ( source)
<?php
$unicodeChar = '\u07BD';
$emptyString = json_decode('"'.$unicodeChar.'"');
var_dump($emptyString, strlen($emptyString), mb_strlen($emptyString));