Searching in main/MathMLDTD/prj