| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
My vote on this motion is YES. The suggestions to use regular bold letters instead of blackboard bold letters seem reasonable to me. Both notations seem well represented in the literature. IMHO we should stick to one notation but probably also mention the other as being correct---at least if we envision to set some standard for notation as well as computing. Best, Christian