diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index ed87a94da..fb9b12289 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -1,9 +1,10 @@
- Spot's on-line LTL-to-TGBA translator
+ Spot's online LTL-to-TGBA translator
+
@@ -311,7 +312,7 @@ an identifier: aUb is an atomic proposition, unlike
| Boolean |
false: | 0 false |
not: | ! ~ |
- and: | & &&
+ | and: | & &&
/\ |
implies: | ->
-->
@@ -368,8 +369,8 @@ an identifier: aUb is an atomic proposition, unlike
|
| |
goto: | [->i..j] |
- intersection: | && /\ |
- NLM and: | & |
+ intersection: | && /\ |
+ NLM and: | & |
| |
@@ -548,7 +549,7 @@ an identifier: aUb is an atomic proposition, unlike
or
+
-