<?php
$x = '
\uparrow \Uparrow
[ ] \downarrow \Downarrow
\{ \} \updownarrow \Updownarrow
\lfloor \rfloor \lceil \rceil
\langle \rangle / \backslash
| \|
';
$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 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- /
[
\backslash
\downarrow
\Downarrow
\langle
\lceil
\lfloor
\rangle
\rceil
\rfloor
\uparrow
\Uparrow
\updownarrow
\Updownarrow
\{
\|
\}
]
|
- Output for 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
- /
[
\backslash
\downarrow
\Downarrow
\langle
\lceil
\lfloor
\rangle
\rceil
\rfloor
\uparrow
\Uparrow
\Updownarrow
\updownarrow
\{
\|
\}
]
|
- Output for 5.5.0 - 5.5.38, 5.6.0 - 5.6.40
- /
[
\backslash
\Downarrow
\downarrow
\langle
\lceil
\lfloor
\rangle
\rceil
\rfloor
\Uparrow
\uparrow
\Updownarrow
\updownarrow
\{
\|
\}
]
|
preferences:
239.14 ms | 402 KiB | 334 Q