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

class Notation {
	public const LONGDIV = 'longdiv';
	public const ACTUARIAL = 'actuarial';
	public const PHASORANGLE = 'phasorangle';
	public const RADICAL = 'radical';
	public const BOX = 'box';
	public const ROUNDEDBOX = 'roundedbox';
	public const CIRCLE = 'circle';
	public const LEFT = 'left';
	public const RIGHT = 'right';
	public const TOP = 'top';
	public const BOTTOM = 'bottom';
	public const UPDIAGONALSTRIKE = 'updiagonalstrike';
	public const DOWNDIAGONALSTRIKE = 'downdiagonalstrike';
	public const VERTICALSTRIKE = 'verticalstrike';
	public const HORIZONTALSTRIKE = 'horizontalstrike';
	public const NORTHEASTARROW = 'northeastarrow';
	public const MADRUWB = 'madruwb';
	public const UPDIAGONALARROW = 'updiagonalarrow';
}
