Text this: A lattice-based approach for mathematical search using Formal Concept Analysis

 ______    _    _     _____     _____     ______  
|      \\ | || | ||  / ____||  |  ___||  /_   _// 
|  --  // | || | || / //---`'  | ||__    `-| |,-  
|  --  \\ | \\_/ || \ \\___    | ||__      | ||   
|______//  \____//   \_____||  |_____||    |_||   
`------`    `---`     `----`   `-----`     `-`'