1 2 3 4 5 6 7 8 9 10 11 12 13
<!DOCTYPE html> <html> <head> <title>op-dict lspace and rspace</title> </head> <body> <math> <mrow> <mi>x</mi><mo form="prefix" lspace="veryverythinmathspace" rspace="veryverythickmathspace">∀</mo><mi>y</mi> </mrow> </math> </body> </html>