package org.matheclipse.core.form.tex.reflection;

import org.matheclipse.core.form.tex.AbstractOperator;
import org.matheclipse.parser.client.operator.ASTNodeFactory;

public class Or extends AbstractOperator {

	public Or() {
		// ∨ ∨
		super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Or").getPrecedence(), " \\lor ;");
	}

}

 

Ads help maintain this website.