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