<?php
namespace MediaWiki\Extension\Math\WikiTexVC\MMLmappings\Lengths;

class MathSpace {
	public const VERYVERYTHINMATHSPACE = 1 / 18;
	public const VERYTHINMATHSPACE = 2 / 18;
	public const THINMATHSPACE = 3 / 18;
	public const MEDIUMMATHSPACE = 4 / 18;
	public const THICKMATHSPACE = 5 / 18;
	public const VERYTHICKMATHSPACE = 6 / 18;
	public const VERYVERYTHICKMATHSPACE = 7 / 18;
	public const NEGATIVEVERYVERYTHINMATHSPACE = -1 / 18;
	public const NEGATIVEVERYTHINMATHSPACE = -2 / 18;
	public const NEGATIVETHINMATHSPACE = -3 / 18;
	public const NEGATIVEMEDIUMMATHSPACE = -4 / 18;
	public const NEGATIVETHICKMATHSPACE = -5 / 18;
	public const NEGATIVEVERYTHICKMATHSPACE = -6 / 18;
	public const NEGATIVEVERYVERYTHICKMATHSPACE = -7 / 18;
	public const THIN = 0.04;
	public const MEDIUM = 0.06;
	public const THICK = 0.1;
	public const NORMAL = 1;
	public const BIG = 2;
	public const SMALL = 1 / M_PI;
	public const INFINITY = INF; // PREV "EXPORTS.BIGDIMEN";
}
