<?php
$x = '
\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";
}
- Output for 5.5.0 - 5.5.38, 5.6.0 - 5.6.40, 7.0.0 - 7.0.33, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.7
- \longmapsto
\longrightarrow
\mapsto
\nearrow
\nwarrow
\rightarrow
\rightharpoondown
\rightharpoonup
\rightleftharpoons
\searrow
\swarrow
\uparrow
\updownarrow
preferences:
242.61 ms | 404 KiB | 335 Q