Home

###Processing LaTeX Finding it difficult to process or parse LaTex. Need to figure out a way to extract information from the .Tex file

###Meeting with Yoav Fixed that the mardown will be LaTex

###Resolution

1. Trying to check if custom HTML can be injected as foreign object into Blockly
2. Trying to check if the SVG rendered from MathJax can be converted into equivalent PNG

###Email Conversation with Yoav Hi Yoav We had a question regarding the display of math expressions on blockly. We are trying to enhance blockly to support the display of mathematical expressions. There are two ways to do it:

1. Enhance blockly and create another type of block to display mathematical expressions.
2. Generate images for the mathematical expressions and display them as images on blockly.

Can you please tell me if the second option would be comfortable for the user if in case we are not able to implement the first option ?

Regarding the markdown, we are building a markdown generator which generates a text file which is them parsed and equivalent blocks are generated. Attached a screenshot for reference. This would make it easy for the instructor to add different blocks based on proofs.

Please do let us know your thoughts.

Yoav: Hi Joe,

Either method is fine by me. However, what we want is a little more than just formulas. We need a mix of text and formulas, and we need multi-line tex. Ideally, we want support for markdown for defining the content of a block.

###January 21 meeting Implemented a new blockly element, FieldHTML, that creates a new SVG foreignObject as a block.

Some modification to core Blockly files may be necessary for this implementation to allow custom HTML value.

Issues to be resolved:

• Add custom inline HTML for the new block, to support any HTML
• Load HTML into a hidden part of the webpage to automatically figure out the width and height of the element for the FieldHTML block
• Possible method for MathJax implementation: Load math symbol text as hidden text, as specified above, then let MathJax convert the text into aesthetically pleasing AsciiMath, and then copy that text into the blocks when needed.

###January 14 meeting Progress made, outputting a MathJax symbol in the Blockly workspace by testing incorporation of the foreignObject tag. This incorporation will theoretically solve both problems of Multi-line text and Mathematical text.

Some modification to core Blockly files may be necessary for this implementation.

Issues to be resolved:

• Implementation of the foreignObject tag within the block constructor.
• Combining MathJax and Multi line text within foreignObject.
• Lists of statements for each type of proof.

Next meeting on Thursday Jan 21 at 5:30 PM (No meeting on January 18th due to the Holiday)

###January 11 meeting with Dhru and Noah Issues to be resolved:

• Multi line text (Dhru)
• Lists - list of statements for each type of proof (Joe)
• Mathematical Text (Noah)

Next meeting on Thursday Jan 14 at 5.30 PM