نمادنگاری برا-کت

نمادنگاری دیراک یا نمادنگاری برا-کت، نمادنگاری استاندارد حالت‌های کوانتومی در مکانیک کوانتومی است. این نمادنگاری مختصر در فضاهای برداری با بعد متناهی و در مورد فضاهای هیلبرت به کار می‌رود. که با دونماد مشخصی می‌شوند: 
قسمت چپ  که برا نامیده می‌شود؛ 
و قسمت راست  که کت نامیده می‌شود. 
حاصل ضرب داخلی برا و کت را براکت می‌نامند: .

از آنجا که این نمادنگاری توسط پل دیراک معمول شد، نمادنگاری دیراک نیز نامیده می‌شود.

برا و کت 
فضای کت فضای برداری مختلطی است که بعد آن بر طبق طبیعت سیستم فیزیکی مورد نظر معین می‌شود.

عملگرهای خطی

ویژگی‌ها 
خطی بودن
 هنگامی که براها توابعی خطی‌اند:

شرکت‌پذیری
 براها و کت‌ها شرکت‌پذیرند، نظیر:

همیوغ هرمیتی

عملگر واحد 
داریم:

بنابر این به سادگی می‌توان نتیجه گرفت:

پانویس 

جبر خطی
مکانیک کوانتم