<<< native [ ESymbol Op "\8897" , ESymbol Op "\8897" , ESymbol Op "\8897" , ESymbol Op "\8897" , ESymbol Op "\8897" , ESymbol Op "\8897" ] >>> mml $$\bigvee \bigvee \bigvee \bigvee \bigvee \bigvee$$