On the “LessWrong” sign I had written some fun symbols for it:
⊥--
<false
⊥’>0 (meaning derivative thus change of falseness)
These prompted some discussion. Some proposed/corrected
--⊥ (because same order as in LW)
⊥’<0 (because it should become less false)
To indicate time derivative the physics notation with a dot (can’t render that here) was also proposed.
Could we make one of these into a LW icon?
⊥’<0
:>
On the “LessWrong” sign I had written some fun symbols for it:
⊥--
<false
⊥’>0 (meaning derivative thus change of falseness)
These prompted some discussion. Some proposed/corrected
--⊥ (because same order as in LW)
⊥’<0 (because it should become less false)
To indicate time derivative the physics notation with a dot (can’t render that here) was also proposed.
Could we make one of these into a LW icon?
:>