- mekso
- x
_{1}[quantifier/expression] is a mathematical expression interpreted under rules/convention x_{2}. - bixycmaci
- c
_{1}is a calculus of type/describing c_{2} - caltaicmaci
- cm
_{1}is a geometry describing cm_{2}=ca_{1}=t_{1}geometric object. - cibjgacmaci
- c
_{1}is trigonometry of triangle j_{1}. - cneparbi
- x
_{1}is the derivative of x_{2}with respect to x_{3}. - snicmaci
- c
_{1}is an algebra of type/describing c_{2} - kei'au
- mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
- algebra
- x
_{1}is an algebra of type/describing x_{2}