<?php
$x = ' \pm \cap \diamond \oplus
\mp \cup \bigtriangleup \ominus
\times \uplus \bigtriangledown \otimes
\div \sqcap \triangleleft \oslash
\ast \sqcup \triangleright \odot
\star \vee \lhd \bigcirc
\circ \wedge \rhd \dagger
\bullet \setminus \unlhd \ddagger
\cdot \wr \unrhd \amalg
';
$x = array_filter(preg_split('/\s+/', $x));
sort($x);
foreach ($x as $xx) {
var_export($xx);echo ",\n";
}
- Output for 5.5.24 - 5.5.35, 5.6.8 - 5.6.28, 7.0.0 - 7.0.20, 7.1.0 - 7.1.25, 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.6
- '\\amalg',
'\\ast',
'\\bigcirc',
'\\bigtriangledown',
'\\bigtriangleup',
'\\bullet',
'\\cap',
'\\cdot',
'\\circ',
'\\cup',
'\\dagger',
'\\ddagger',
'\\diamond',
'\\div',
'\\lhd',
'\\mp',
'\\odot',
'\\ominus',
'\\oplus',
'\\oslash',
'\\otimes',
'\\pm',
'\\rhd',
'\\setminus',
'\\sqcap',
'\\sqcup',
'\\star',
'\\times',
'\\triangleleft',
'\\triangleright',
'\\unlhd',
'\\unrhd',
'\\uplus',
'\\vee',
'\\wedge',
'\\wr',
preferences:
181.28 ms | 405 KiB | 197 Q