What is the keyboard shortcut for the tautology and contradiction symbols (T and upside down T) in Agda? This extensive list of shortcuts doesn't seem to show how to make them:
http://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#1
I have tried \T and others, but nothing works.
The shortcut symbols are \top and \bot.
Related
I'm writing a language extension for lisp and have noticed a weird behavior. If I have something like this,
( "(" a b )
VSCode will match the closing parenthesis with the one in quotes. If I have the cursor between the a and the b and do an expand selection, it selects from the quoted open parens to the closing parens.
What controls this behavior? How do I get it to ignore the one in quotes?
I've tried messing with different settings in language-configuration.json, but nothing has worked so far. The only other thing I can think of would be the wordPattern regex, which I copied from somewhere. It's currently set to,
"wordPattern": "[^:()# \t\n\r][^:() \t\n\r]*"
If | is my cursor position
List<String> words = Arrays.asList(|"all cats are grey".split(" "));
Then I would like a shortcut to jump to the closing bracket
List<String> words = Arrays.asList("all cats are grey".split(" ")|);
Note, as per this question the shortcuts Ctrl+{ and Ctrl+} work for jumping between braces { } but not for brackets ( )
Note 2: with standard IntelliJ keymap
It looks like there isn't a specific action to move cursor to the matching bracket.
This does it in 2 keystrokes and is the best I've found: Ctrl+W which selects the block up to the matching bracket, then ▶
That's almost as quick, and better than switching to the mouse.
I don't think there exsists a shortcut for round parenthesis.
I am working with ItelliJ for years, never found one.
Ctrl +Key depends on your Keymap.
You can change it in Settings -> Keymap -> [Keymaps:].
I haven't found round parenthesis, but i could have overlooked it.
Edit:
A possible solution would be, to install the Plugin IdeaVim and use Shift + %
http://vim.rtorr.com/
When goals are displayed by Isabelle in ProofGeneral, assumptions are rendered as having brackets around them as so:
In Isabelle/jEdit, however, this seems to have changed to meta-implication arrows:
While I understand the former is somewhat non-standard, I find it much easier to read. Is there a way to modify the behaviour of Isabelle/jEdit to print out goals in the old ProofGeneral style?
The format Isabelle renders its output is determined by Isabelle's "print modes". In ProofGeneral, the default print_mode includes the brackets mode, which renders brackets around assumptions, while the default jEdit print_mode includes no_brackets, which does the opposite.
The print mode can be changed either by setting Plugins > Plugin Options > Isabelle/General > Print Mode to brackets and restarting jEdit, by adding -m brackets to the isabelle jedit command line, or by including in your ~/.isabelle/etc/settings file:
ISABELLE_JEDIT_OPTIONS="-m brackets"
This will result in jEdit displaying brackets like ProofGeneral:
Go into Plugins -> Plugin Options -> Isabelle -> General
then type in brackets in the Print Mode field.
Click Apply.
Then close out of Isabelle and restart it.
You should have brackets around your hypotheses thereafter.
Problem: Some English words are translated to symbols
Greek letters as English words are translated to symbols:
example lambda is converted to the equivalent small Greek letter.
Logic and Math words are transliated to symbols.
examples: and, or, in, exists, sum, div, top, int, pm converts to symbols
or small empty square if the symbol is not recognized.
Scope: Windows XP 32-bit, WIndows 7 64-bit with jEdit 4.5.2
This problem acts like an abbreviation expansion. As I type a-l-p-h-a then a space,
jedit converts alpha to the small Greek letter alpha.
I have learned to live with this but would like to find a solution to the problem.
Any help would be appreciated. I don't know if this is a customization problem or a feature or a bug.
To turn off all abbreviations, go into Utilities > Global Options, then Abbreviations. Uncheck "Space bar expands abbrevs".
EDIT: I didn't realize you wanted to use abbreviations but not those specific ones.
To take out the abbreviations for lambda, alpha, etc., go into that same dialog, pick "global" if it isn't already selected, then select each one from the list and hit the minus button under the list. Unfortunately (at least in jEdit 4.5) you'll have to select each one and delete it individually; you can't select multiple entries.
What is the keymap for navigating to the matching brace in IntelliJ IDEA?
public void blah() {|
...
}
If | is my cursor, I would like to jump to the closing brace with this keymap.
I've only verified this with IntelliJ 9 but:
On Windows:
Ctrl+} will move to the close
bracket.
Ctrl+{ will move to the open bracket.
On Mac:
Use cmd instead of Ctrl.
As an alternative to Ctrl+} and Ctrl+{ you can by default use Ctrl+Alt+Shift+9 and Ctrl+Alt+Shift+8 respectively. I haven't even tried to remember that yet. ;)
Also in Settings -> (IDE Settings ->) Keymap -> Editor Actions there's an entry called "Move Caret to Matched Brace" that doesn't have a default key mapping. I mapped it to Ctrl+< because the key combination was unmapped and the keys are close to each other on a german keyboard.
This applies to IDEA 12.
Its ^M (control + M) on my Mac using IDEA v15 and keeping the default keymap for MacOSX 10.5+
If you are not sure go to prefs and search for "Move Caret to Matching Brace". That's the name of the command and you can set your own shortcut!
On some keyboards, including Swedish ones, it's not practical to use Ctrl-} or Ctrl-{. The best approach I've found under those circumstances is to double-click the bracket in view, which highlights everything between the brackets, then use left-arrow or right-arrow to move to the appropriate end of the highlighted region.
Ctrl+} and Ctrl+{ only moves the cursor to the closes corresponding brace that embraces ( with its counterpart) the place where you called the shortcut.
Ctrl+Shift+} and Ctrl+Shift+{ moves the cursor to the same brace as the first mentioned shortcut and highlights all the area between start point and the result brace.
Ctrl+Shift+M moves the cursor to the opposite or nearest embracing brace or bracket of any sort ( ), { }, < >, [ ].
The last one can be changed in the settings.
#dhable is also right but you can also do this mouse
place the cursor with braces and double click so this will select or
highlight the code bw braces