אנגלית ⇄ גרמנית סינית רוסית +

formal notation מתח
.תִכנו	формальные обозначения (ssn); формальная нотация (корпорации AdaCore Alex_Odeychuk)