Changes between Initial Version and Version 1 of Ticket #30373, comment 9


Ignore:
Timestamp:
01/21/21 18:16:27 (12 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30373, comment 9

    initial v1  
    66
    77But the idea in principle remains, doesn't it? What about `#` instead? That's already the symbol for tensor products as in `categories/tensor.py`.
     8
     9Arrrg, that's commenting...