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