' => '$\\Leftrightarrow$', '<=' => '$\\Leftarrow$', '=>' => '$\\Rightarrow$', '"' => "''", "\r\n" => "\n", '%' => '\\%', ' ' => '~', "\xE2\x80\xAF" => '~', // Narrow No-Break Space (NNBSP) '&' => '\\&', '_' => '\\_', // '€' => '\\EUR', '°' => '{\\textdegree}', '®' => '®', '<' => '<', '>' => '>', '≥' => '$\ge$', '≤' => '$\le$', '­' => '\\-', '≈' => '$\\approx$', json_decode("\u200b") => '\\-', "\xE2\x80\x8B" => '\\-' ); $sear = array_keys($replace); $repl = array_values($replace); $var = str_replace($sear, $repl, $var); return $var; } }