What do you think about adding "<=", too, so that users can search for "latex <="?