T
Tersus
Gast
Guten Abend,
1. Der Join-Operator wird mir in Latex nicht angeboten.
Für den Join gibt es zwei mögliche Zeichen:
Beide werden mir nicht gelistet. Der Befehl \bowtie funktioniert zwar, wird mir aber rot dargestellt.
2. Ich würde gerne den AntiJoin-Operator in Latex verwenden.
Für den AntiJoin-Operator gibt es zwei mögliche Zeichen:
Per \triangleright bekomme ich den Operator, aber ich glaube es ist die kleine Triangle. Was ich suche, ist wohl \rhd, aber der Befehl funktioniert bei mir nicht.
Was muss ich einbinden, um diese Extra-Operatoren zu erhalten und wie schaffe ich es, dass mit TexStudio den \bowtie nicht rot ankreidet?
1. Der Join-Operator wird mir in Latex nicht angeboten.
Für den Join gibt es zwei mögliche Zeichen:
Beide werden mir nicht gelistet. Der Befehl \bowtie funktioniert zwar, wird mir aber rot dargestellt.
2. Ich würde gerne den AntiJoin-Operator in Latex verwenden.
Für den AntiJoin-Operator gibt es zwei mögliche Zeichen:
- U+25B7: '▷' aka "WHITE RIGHT-POINTING TRIANGLE" siehe
- U+25B9: '▹' aka "WHITE RIGHT-POINTING SMALL TRIANGLE" siehe
Per \triangleright bekomme ich den Operator, aber ich glaube es ist die kleine Triangle. Was ich suche, ist wohl \rhd, aber der Befehl funktioniert bei mir nicht.
Was muss ich einbinden, um diese Extra-Operatoren zu erhalten und wie schaffe ich es, dass mit TexStudio den \bowtie nicht rot ankreidet?