V(
Size: a a a
V(
V(
VL
VL
VL
VL
VL
VL
VL
VL
a
defconstant
вот такой, неприятный. Но это не на пустом месте.VL
(or (< x w1) (< w2 x))
(not (<= w1 x w2))
a
(∈ x [a b[)
или (∈ x [a b))
не хочется вводить.a
[a b}
но это как будто жирно ради одних лишь интервалов.VL
VL
VL
a
VL
VL