上線以外で否定を表現したいとき

ISE Fundamentals of Digital Logic with VHDL Design, pp.23-24

However, when complements are needed in expressions that are typed using a computer keyboard, which is often done when using CAD tools, it is impractical to use overbars. Instead, either an apostrophe is placed after the variable, or an exclamation mark (!), the tilde character (~), or the world NOT is placed in front of the variable to denote the complementation.

非公式訳:
(否定は上線で表現するのが視覚的に分かりやすいが)しかしPCのキーボードで入力する式の中で否定を表現する必要があっても、たとえばCADツールを使うときなどが特にそうですが、一般に上線は入力できません。代わりに、アポストロフィを変数のあとに置くか、感嘆符(!)、チルダ文字(~)、単語NOTのいずれかを変数の前に置くかして否定を表現します。