<!DOCTYPE html>
<html>
<head>
<title>op-dict lspace and rspace</title>
</head>
<body>
<math>
<mrow>
<mi>x</mi><mo form="prefix" lspace="0.1111111111111111em" rspace="0.05555555555555555em">∀</mo><mi>y</mi>
</mrow>
</math>
</body>
</html>