A few of these extensions are outdated or redundant:
Auto Close Tag
Auto Rename Tag
Live Server
In addition I'd recommend installing Edge devtools to get that sweet realtime css editing, if you do webdev.
As for ligatures I think they are great for more easily recognizing certain pieces of code. It does not have anything to do with mathematics, it is simply tokenizing common code expressions like fat/thin arrows, equals and strict equals, gte/lte and so on. To me these expressions become much less ambiguous with ligatures.
A few of these extensions are outdated or redundant:
In addition I'd recommend installing Edge devtools to get that sweet realtime css editing, if you do webdev.
As for ligatures I think they are great for more easily recognizing certain pieces of code. It does not have anything to do with mathematics, it is simply tokenizing common code expressions like fat/thin arrows, equals and strict equals, gte/lte and so on. To me these expressions become much less ambiguous with ligatures.
Thanks for the input. And I recently discovered that auto closing/renaming are now getting shipped with the latest version of the VS Code by default.