Fix GeoGebra tikz screenshot
LaTeX environments that do not have proofs
Principle environment for HTML