What is Texo?Texo is a formula recognition model that operates with only 20 million parameters, achieving high performance while being lightweight.