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

 _    _    _    _     ____       ___    __    __  
| \  / || | || | ||  |  _ \\    / _ \\  \ \\ / // 
|  \/  || | || | ||  | |_| ||  | / \ ||  \ \/ //  
| .  . || | \\_/ ||  | .  //   | \_/ ||   \  //   
|_|\/|_||  \____//   |_|\_\\    \___//     \//    
`-`  `-`    `---`    `-` --`    `---`       `