@@ -157,6 +157,87 @@ Irregular (structure mode): `[a b c]` is `$:(a b c)`.
157157[p=0 q=%$]
158158```
159159
160+
161+### $< "bucgal"
162+
163+`[%bsld p=spec q=spec]`: Filters a pre-existing mold to obtain a mold
164+that excludes a particular structure.
165+
166+##### Syntax
167+
168+Regular: **2-fixed**.
169+
170+##### Discussion
171+
172+This can be used to obtain type(s) from a list of types `q` that do not satisfy a
173+requirement given by `p`.
174+
175+##### Examples
176+
177+```
178+~zod:dojo> =foo $%([%bar p=@ud q=@ud] [%baz p=@ud])
179+
180+~zod:dojo> =m $<(%bar foo)
181+
182+~zod:dojo> (m [%bar 2 4])
183+ford: %ride failed to execute:
184+
185+~zod:dojo> (m [%baz 2])
186+[%baz p=2]
187+
188+~zod:dojo> ;;($<(%foo [@tas *]) [%foo 1])
189+ford: %ride failed to execute:
190+
191+~zod:dojo> ;;($<(%foo [@tas *]) [%bar 1])
192+[%bar 1]
193+ ```
194+
195+
196+### $> "bucgar"
197+
198+`[%bsbn p=spec q=spec]`: Filters a mold to obtain a new mold
199+matching a particular structure.
200+
201+##### Syntax
202+
203+Regular: **2-fixed**.
204+
205+##### Discussion
206+
207+This can be used to obtain type(s) from a list of types `q` that satisfy a
208+requirement given by `p`.
209+
210+##### Examples
211+
212+Examples with `$%`:
213+```
214+~zod:dojo> =foo $%([%bar p=@ud q=@ud] [%baz p=@ud])
215+
216+~zod:dojo> =m $>(%bar foo)
217+
218+~zod:dojo> (m [%bar 2 4])
219+[%bar p=2 q=4]
220+
221+>~zod:dojo> (m [%baz 2])
222+ford: %ride failed to execute:
223+```
224+
225+Examples with `;;`:
226+```
227+~zod:dojo> ;;([@tas *] [%foo 1])
228+[%foo 1]
229+
230+~zod:dojo> ;;([@tas *] [%bar 1])
231+[%bar 1]
232+
233+~zod:dojo> ;;($>(%foo [@tas *]) [%foo 1])
234+[%foo 1]
235+
236+~zod:dojo> ;;($>(%foo [@tas *]) [%bar 1])
237+ford: %ride failed to execute:
238+ ```
239+
240+
160241### $- "buchep"
161242
162243`[%bshp p=spec q=spec]`: structure that normalizes to an example gate.
@@ -394,4 +475,4 @@ ford: %ride failed to execute:
394475
395476~zod:dojo> $:a
396477%baz
397−```
478+```