<!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>