- strcmp: documentation ( source)
- array_filter: documentation ( source)
- preg_split: documentation ( source)
- usort: documentation ( source)
- strtolower: documentation ( source)
<?php
$x = '
\Downarrow
\Leftarrow
\Leftrightarrow
\Longleftarrow
\Longleftrightarrow
\Longrightarrow
\Rightarrow
\Uparrow
\Updownarrow
\downarrow
\hookleftarrow
\hookrightarrow
\leftarrow
\leftharpoondown
\leftharpoonup
\leftrightarrow
\longleftarrow
\longleftrightarrow
\longmapsto
\longrightarrow
\mapsto
\nearrow
\nwarrow
\rightarrow
\rightharpoondown
\rightharpoonup
\rightleftharpoons
\searrow
\swarrow
\uparrow
\updownarrow
';
$x = array_filter(preg_split('/\s+/', $x));
usort($x, function ($a, $b) {
return strcmp(strtolower($a), strtolower($b));
});
foreach ($x as $xx) {
echo $xx, "\n";
}