Aren't the <x| forms usually called the "bras" and the |x> forms the "kets?" Or do you have them swapped on purpose?
yes, they are the same things in Wolfram quantum framework. Where you are referring to in this notebook (with potential mistake)?
The statement above the very first gray left-pointing triangle calls it a 'ket" if I read it correctly. The very first right-pointing symbol also seems to be called a "bra."
