This question already has an answer here:
I am looking for the symbol := and the symbol ::=
the first one means "expressed as" (e.g. a sentence A is expressed as a juxtaposition of words bcd) and the second one means "defined as", in various applications of logic and language theory. in Linux, typing := one after one (in kile or lyx) causes vertical misalignment of the characters. I expect the center point between two dots of : and the center line through the two lines of = be on the same line, but often = is positioned too high, and also the space between them is too large, and a negetive space of -0.1 em does not look good.
Anyone like to help, telling me where to find these two symbols?