Pattern Program Logic Symbols