<<< omml P 0 < i < m 0 < j < n ( i , j ) >>> native [ EUnderover True (ESymbol Op "\8721") (EGrouped []) (EArray [ AlignCenter ] [ [ [ ENumber "0" , ESymbol Rel "<" , EIdentifier "i" , ESymbol Rel "<" , EIdentifier "m" ] ] , [ [ ENumber "0" , ESymbol Rel "<" , EIdentifier "j" , ESymbol Rel "<" , EIdentifier "n" ] ] ]) , EIdentifier "P" , ESymbol Open "(" , EIdentifier "i" , ESymbol Pun "," , EIdentifier "j" , ESymbol Close ")" ]