no-vert-bar-lang🔗 i

1#lang no-vert-bar🔗 i

#lang no-vert-bar racket

 

(define(P-A|BP-AP-BP-B|A)

(*P-B|A(/P-AP-B)))

 

(define(||ab)

(orab))

 

(define|0>

(vector-immutable10))

(define|1>

(vector-immutable01))

These all treat the | like it was any other character, so that it doesn’t interfere with how you name your identifiers.

2#lang no-backslash🔗 i

#lang no-backslash racket

 

(define(/\ab)

(andab))

 

(define(\/ab)

(orab))