Словарь по логике

Символ: То же, что графема и значок, обычно в контексте искусственных языков математики.