КАВЫЧКИ

- в грамматике естественного языка парный знак препинания (обычно ,, " или " "), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К