mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-30 21:55:31 +00:00
14 lines
204 B
HTML
14 lines
204 B
HTML
<!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>
|