Lolly: A user-friendly C++ library extracted from TeXmacs | Heykuki News