English-Russian big polytechnic dictionary
основной штрих
joining stroke — соединительный штрих
horizontal stroke — горизонтальный штрих
stroke centerline — средняя линия штриха
stroke edge — граница штриха; край штриха
Sheffer stroke — штрих Шеффера; функция Шеффера