Inference symbols |-, |=, and also top and bottom constants
Notes updated