seperate examples into new repository
introduce |== and |=X signs