Searching in main/MathMLDTD