/\ is the ASCII symbol for logic conjunction (\land).