1	<?php
2	namespace MediaWiki\Extension\Math\WikiTexVC\MMLmappings\Lengths;
3
4	class MathSpace {
5	public const VERYVERYTHINMATHSPACE = 1 / 18;
6	public const VERYTHINMATHSPACE = 2 / 18;
7	public const THINMATHSPACE = 3 / 18;
8	public const MEDIUMMATHSPACE = 4 / 18;
9	public const THICKMATHSPACE = 5 / 18;
10	public const VERYTHICKMATHSPACE = 6 / 18;
11	public const VERYVERYTHICKMATHSPACE = 7 / 18;
12	public const NEGATIVEVERYVERYTHINMATHSPACE = -1 / 18;
13	public const NEGATIVEVERYTHINMATHSPACE = -2 / 18;
14	public const NEGATIVETHINMATHSPACE = -3 / 18;
15	public const NEGATIVEMEDIUMMATHSPACE = -4 / 18;
16	public const NEGATIVETHICKMATHSPACE = -5 / 18;
17	public const NEGATIVEVERYTHICKMATHSPACE = -6 / 18;
18	public const NEGATIVEVERYVERYTHICKMATHSPACE = -7 / 18;
19	public const THIN = 0.04;
20	public const MEDIUM = 0.06;
21	public const THICK = 0.1;
22	public const NORMAL = 1;
23	public const BIG = 2;
24	public const SMALL = 1 / M_PI;
25	public const INFINITY = INF; // PREV "EXPORTS.BIGDIMEN";
26	}