我正在用ggplot2繪製一些結果。該數據被組織在結構是這樣的數據幀: category comparison value
1 A deltaXT/FT 6807
2 B deltaXT/FT 11894
3 C deltaXT/FT 1215
4 D deltaXT/FT 42862
5 E deltaXT/FT 34313
...
總共有4個比較,每個細分爲
我試過w /不同的符號,但不能讓我的前綴表示法工作(中綴,另一方面,作品)。我想這是一個級別的問題,但無法整理出來。有任何想法嗎? Variable (X R: Type)(x:X)(r:R).
Variable In: X -> R -> Prop.
Variable rt:> R -> Type.
Variable rTr: forall (x:X)(y:R), In x y -> y.