Just use $chr(59)

//if (ab isin $chr(59) $+ ab) echo $v1 . $v2 .
//if ($chr(59) isin $chr(59)) echo $v1 . $v2 .