Text this: Advanced Euclidean geometry