| Deutsch | deu-000 |
| W.z.b.w. | |
| English | eng-000 | QED |
| suomi | fin-000 | MOT |
| français | fra-000 | CQFD |
| íslenska | isl-000 | Þ.s.s.á. |
| italiano | ita-000 | CVD |
| 日本語 | jpn-000 | 証明終わり |
| latine | lat-000 | QED |
| slovenčina | slk-000 | Č.B.T.D. |
| español | spa-000 | C.Q.D. |
| svenska | swe-000 | VSB |
| svenska | swe-000 | VSV |