هنگامی که براها توابعی خطی اند:نمادنگاری دیراک یا نمادنگاری برا-کت، نمادنگاری استاندارد حالت های کوانتومی در مکانیک کوانتومی است. این نمادنگاری مختصر در فضاهای برداری با بعد متناهی و در مورد فضاهای هیلبرت به کار می رود. که با دونماد مشخصی می شوند:حاصل ضرب داخلی برا و کت را براکت می نامند: ⟨ ϕ | ψ ⟩ {\displaystyle \langle \phi |\psi \rangle } .از آنجا که این نمادنگاری توسط پل دیراک معمول شد...