[Agda] isYes

[Sergei Meshveliani]

People,

I searched for  isYes, isYes?, yes?  in lib-0.7,
and have discovered
                    ⌊_⌋  in  module Relation.Nullary.Decidable.

I wonder what is the origin of this denotation.

Thanks,

------
Sergei